A Simple Quantifier-Free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms
نویسنده
چکیده
The problem of quantifier elimination of positive semidefinite cyclic ternary quartic forms is studied in this paper. We solve the problem by function RealTriangularize in Maple15, the theory of complete discrimination systems and the so-called Criterions on Equality of Symmetric Inequalities method. The equivalent simple quantifier-free formula is proposed, which is difficult to obtain automatically by previous methods or quantifier elimination tools.
منابع مشابه
Sur Une Classe De Formes Biquadratiques Semi-définies Positives * on a Class of Positive Semidefinite Biquadratic Forms
Continuing the study of positive semidefinite biquadratic forms on Rm × Rn ([1], [9] and [10]), we characterize those among them that are the sum of squares of bilinear forms.
متن کاملBiquadratic Optimization Over Unit Spheres and Semidefinite Programming Relaxations
This paper studies the so-called bi-quadratic optimization over unit spheres min x∈Rn,y∈Rm ∑ 1≤i,k≤n, 1≤j,l≤m bijklxiyjxkyl subject to ‖x‖ = 1, ‖y‖ = 1. We show that this problem is NP-hard and there is no polynomial time algorithm returning a positive relative approximation bound. After that, we present various approximation methods based on semidefinite programming (SDP) relaxations. Our theo...
متن کاملNoetherianity in a class of first-order theories
We call a theory a Dedekind theory if every complete quantifier-free type with one free variable either has a trivial positive part or it is isolated by a positive quantifier-free formula. The theory of vector spaces and the theory fields are examples. We prove that in a Dedekind theory all positive quantifier-free types are principal so, in a sense, Dedekind theories are Noetherian. We show th...
متن کاملSur une classe de formes biquadratiques semi-definies positives
Continuing the study of positive semidefinite biquadratic forms on Rm × Rn ([1], [9] and [10]), we characterize those among them that are the sum of squares of bilinear forms.
متن کاملA proof of Hilbert's theorem on ternary quartic forms with the ladder technique
This paper proposes a totally constructive approach for the proof of Hilbert’s theorem on ternary quartic forms. The main contribution is the ladder technique, with which the Hilbert’s theorem is proved vividly.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012